Stratulat, Sorin: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques

Drămnesc, Isabela, Jebelean, Tudor, Stratulat, Sorin

Journal:

Journal of Symbolic Computation

Year:

2019

Language:

english

File:

PDF, 757 KB

english, 2019

2

A General Framework to Build Contextual Cover Set Induction Provers

Sorin Stratulat

Journal:

Journal of Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 657 KB

english, 2001

3

[ACM Press the 16th International Symposium - Canterbury, United Kingdom (2014.09.08-2014.09.10)] Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 - Decision Procedures for Proving Inductive Theorems without Induction

Aoto, Takahito, Stratulat, Sorin

Year:

2014

Language:

english

File:

PDF, 392 KB

english, 2014

4

[IEEE 2016 12th IEEE International Symposium on Electronics and Telecommunications (ISETC) - Timisoara, Romania (2016.10.27-2016.10.28)] 2016 12th IEEE International Symposium on Electronics and Telecommunications (ISETC) - Connectivity for routing persistent connections

Orzen, Stefano-Niko, Stratulat, Mircea, Babii, Sorin, Cosovan, Constantin

Year:

2016

Language:

english

File:

PDF, 652 KB

english, 2016

5

[IEEE 2007 Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Timisoara, Romania (2007.9.26-2007.9.29)] Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007) - 'Descente Infinie' Induction-Based Saturation Procedures

Stratulat, Sorin

Year:

2007

Language:

english

File:

PDF, 593 KB

english, 2007

6

Motivation Exercise and Feedback - Virtual Reality and Robotics in Physical Medicine and Rehabilitation

Sorin Stratulat, Ioan

Journal:

Year:

2017

File:

PDF, 137 KB

2017

7

A New Approach to Aesthetic Maxillofacial Surgery

Costan, Victor Vlad, Popescu, Eugenia, Stratulat, Sorin Ioan

Journal:

Journal of Craniofacial Surgery

Year:

2013

Language:

english

File:

PDF, 1.36 MB

english, 2013

8

[IEEE 2016 IEEE 20th Jubilee International Conference on Intelligent Engineering Systems (INES) - Budapest, Hungary (2016.6.30-2016.7.2)] 2016 IEEE 20th Jubilee International Conference on Intelligent Engineering Systems (INES) - Markov chains state transitions for reliable persistent routing

Orzen, Stefano-Niko, Stratulat, Mircea, Babii, Sorin, Cosovan, Constantin

Year:

2016

Language:

english

File:

PDF, 1.16 MB

english, 2016

9

Pullulan: A versatile coating agent for superparamagnetic iron oxide nanoparticles

Coseri, Sergiu, Spatareanu, Alina, Sacarescu, Liviu, Socoliuc, Vlad, Sorin Stratulat, Ioan, Harabagiu, Valeria

Journal:

Journal of Applied Polymer Science

Year:

2016

Language:

english

File:

PDF, 1.23 MB

english, 2016

10

[IEEE 2016 IEEE 17th International Symposium on Computational Intelligence and Informatics (CINTI) - Budapest, Hungary (2016.11.17-2016.11.19)] 2016 IEEE 17th International Symposium on Computational Intelligence and Informatics (CINTI) - Routing tables as big data searchable structures for achieving real-time session fault tolerant rerouting

Orzen, Stefano-Niko, Stratulat, Mircea, Babii, Sorin, Cosovan, Constantin

Year:

2016

Language:

english

File:

PDF, 2.82 MB

english, 2016

11

The Chernobyl and It’s Long Term Consequence: Clinical Cases of Leukemia

Stratulat, Ioan Sorin

Journal:

Journal of Integrative Oncology

Year:

2017

Language:

english

File:

PDF, 298 KB

english, 2017

12

[IEEE 2015 IEEE 10th Jubilee International Symposium on Applied Computational Intelligence and Informatics (SACI) - Timisoara, Romania (2015.5.21-2015.5.23)] 2015 IEEE 10th Jubilee International Symposium on Applied Computational Intelligence and Informatics - Fault tolerance of propagated errors in persistent real-time routing processes with a synchronization based algorithmic method

Orzen, Stefano-Niko, Stratulat, Mircea, Babii, Sorin, Cosovan, Constantin

Year:

2015

Language:

english

File:

PDF, 575 KB

english, 2015

13

Mechanically certifying formula-based Noetherian induction reasoning

Stratulat, Sorin

Journal:

Journal of Symbolic Computation

Year:

2016

Language:

english

File:

PDF, 1.75 MB

english, 2016

14

Incorporating Decision Procedures in Implicit Induction

Alessandro Armando, Michaël Rusinowitch, Sorin Stratulat

Journal:

Journal of Symbolic Computation

Year:

2002

Language:

english

File:

PDF, 353 KB

english, 2002

15

[IEEE 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2015.9.21-2015.9.24)] 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Combinatorial Techniques for Proof-Based Synthesis of Sorting Algorithms

Dramnesc, Isabela, Jebelean, Tudor, Stratulat, Sorin

Year:

2015

Language:

english

File:

PDF, 197 KB

english, 2015

16

A new indication for barbed threads: static reanimation of the paralyzed face

Costan, Victor Vlad, Popescu, Eugenia, Sulea, Daniela, Stratulat, Ioan Sorin

Journal:

Journal of Oral and Maxillofacial Surgery

Year:

2017

Language:

english

File:

PDF, 2.78 MB

english, 2017

17

[IEEE 2011 7th International Conference on Next Generation Web Services Practices (NWeSP) - Salamanca, Spain (2011.10.19-2011.10.21)] 2011 7th International Conference on Next Generation Web Services Practices - Creating transnational courses: Feedback and solutions

Michel, Gabriel, Stratulat, Sorin

Year:

2011

Language:

english

File:

PDF, 120 KB

english, 2011

18

[IEEE 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Romania (2014.9.22-2014.9.25)] 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Implementing Reasoning Modules in Implicit Induction Theorem Provers

Stratulat, Sorin

Year:

2014

Language:

english

File:

PDF, 673 KB

english, 2014

19

[IEEE 2015 IEEE 13th International Symposium on Intelligent Systems and Informatics (SISY) - Subotica, Serbia (2015.9.17-2015.9.19)] 2015 IEEE 13th International Symposium on Intelligent Systems and Informatics (SISY) - Theory exploration of binary trees

Dramnesc, Isabela, Jebelean, Tudor, Stratulat, Sorin

Year:

2015

Language:

english

File:

PDF, 126 KB

english, 2015

20

[IEEE 2016 IEEE 11th International Symposium on Applied Computational Intelligence and Informatics (SACI) - Timisoara, Romania (2016.5.12-2016.5.14)] 2016 IEEE 11th International Symposium on Applied Computational Intelligence and Informatics (SACI) - A case study on algorithm discovery from proofs: The insert function on binary trees

Dramnesc, Isabela, Jebelean, Tudor, Stratulat, Sorin

Year:

2016

Language:

english

File:

PDF, 243 KB

english, 2016

21

[IEEE 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2016.9.24-2016.9.27)] 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Structural vs. Cyclic Induction: A Report on Some Experiments with Coq

Stratulat, Sorin

Year:

2016

Language:

english

File:

PDF, 247 KB

english, 2016

22

Study on the Role of Inflammatory Markers and Type D Personality on Symptom Profiles and Severity in Patients with Major Depressive Disorder

Enatescu, Ileana, Kalinovic, Raluka, Giurgi-Oncu, Catalina, Poroch, Vladimir, Stratulat, Ioan Sorin, Vlad, Gabriela, Neda-Stepan, Oana, Simu, Mihaela, Papava, Ion, Oancea, Roxana, Patrascu, Raul, Enat

Journal:

Applied Sciences

Year:

2020

File:

PDF, 249 KB

2020

23

Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm

Michaël Rusinowitch, Sorin Stratulat, Francis Klay

Journal:

Journal of Automated Reasoning

Year:

2003

Language:

english

File:

PDF, 178 KB

english, 2003

24

[IEEE 2013 E-Health and Bioengineering Conference (EHB) - IASI, Romania (2013.11.21-2013.11.23)] 2013 E-Health and Bioengineering Conference (EHB) - Epi InfoTM - An useful tool in epidemiological investigations and statistical analysis of hip fractures

Alexa, Ovidiu, Veliceasa, Bogdan, Stratulat, Ioan Sorin, Azoicai, Doina

Year:

2013

Language:

english

File:

PDF, 402 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски